Dusko Pavlovic: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Dynamic Distributed Secure Storage Against Ransomware

Castiglione, Jason, Pavlovic, Dusko

Journal:

IEEE Transactions on Computational Social Systems

Year:

2019

Language:

english

File:

PDF, 907 KB

english, 2019

2

A categorical setting for the 4-Colour Theorem

Duško Pavlović

Journal:

Journal of Pure and Applied Algebra

Year:

1995

Language:

english

File:

PDF, 855 KB

english, 1995

3

On the structure of paradoxes

Duško Pavlović

Journal:

Archive for Mathematical Logic

Year:

1992

Language:

english

File:

PDF, 449 KB

english, 1992

4

Logical frameworks, edited by Huet Gérard and Plotkin G., Cambridge University Press, Cambridge etc. 1991, xii + 403 pp.

Pavlović, Duško

Journal:

Journal of Symbolic Logic

Year:

1993

Language:

english

File:

PDF, 488 KB

english, 1993

5

Biotransformation of nitric oxide in the cerebrospinal fluid of amyotrophic lateral sclerosis patients

Kokić, Aleksandra Nikolić, Stević, Zorica, Stojanović, Srdjan, Blagojević, Duško P., Jones, David R., Pavlović, Sanja, Niketić, Vesna, Apostolski, Slobodan, Spasić, Mihajlo B.

Journal:

Year:

2005

Language:

english

File:

PDF, 105 KB

english, 2005

6

Maps II: Chasing Diagrams in Categorical Proof Theory

PAVLOVIĆ, DUŠKO

Journal:

Logic Journal of IGPL

Year:

1996

Language:

english

File:

PDF, 1.51 MB

english, 1996

7

First Occurrence of Paramphistomum microbothrium (Fischoeder 1901) in Roe Deer (Capreolus capreolus) in Serbia

Pavlović, Ivan, Savić, Božidar, Ivanović, Snežana, Ćirović, Duško

Journal:

Journal of Wildlife Diseases

Year:

2012

Language:

english

File:

PDF, 129 KB

english, 2012

8

Categorical logic of names and abstraction in action calculi

PAVLOVIĆ, DUŠKO

Journal:

Mathematical Structures in Computer Science

Year:

1997

Language:

english

File:

PDF, 281 KB

english, 1997

9

The Impact of Transport on International Trade Development

Pavlović, Duško, Radoš, Božica

Journal:

Acta Economica Et Turistica

Year:

2016

File:

PDF, 1.01 MB

2016

10

Logics for Actor Networks: A two-stage constrained-hybridisation approach

Fiadeiro, José Luiz, Ţuţu, Ionuţ, Lopes, Antónia, Pavlovic, Dusko

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

Language:

english

File:

PDF, 929 KB

english, 2019

11

Abstract extensionality: on the properties of incomplete abstract interpretations

Bruni, Roberto, Giacobazzi, Roberto, Gori, Roberta, Garcia-Contreras, Isabel, Pavlovic, Dusko

Journal:

Proceedings of the ACM on Programming Languages

Year:

2019

Language:

english

File:

PDF, 448 KB

english, 2019

12

Abstract extensionality: on the properties of incomplete abstract interpretations

Bruni, Roberto, Giacobazzi, Roberto, Gori, Roberta, Garcia-Contreras, Isabel, Pavlovic, Dusko

Journal:

Proceedings of the ACM on Programming Languages

Year:

2019

File:

PDF, 448 KB

2019

13

Maps I: relative to a factorisation system

Duško Pavlović

Journal:

Journal of Pure and Applied Algebra

Year:

1995

Language:

english

File:

PDF, 1.45 MB

english, 1995

14

On completeness and cocompleteness in and around small categories

Duško Pavlović

Journal:

Annals of Pure and Applied Logic

Year:

1995

Language:

english

File:

PDF, 1.87 MB

english, 1995

15

Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol

Dusko Pavlovic, Catherine Meadows

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 379 KB

english, 2010

16

Labelled Markov Processes as Generalised Stochastic Relations

Michael Mislove, Dusko Pavlovic, James Worrell

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 430 KB

english, 2007

17

Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 304 KB

english, 2011

18

Preface: Volume 29

Martin Hofmann, Giuseppe Rosolini, Dusko Pavlovic

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 31 KB

english, 1999

19

Guarded induction on final coalgebras

Duško Pavlović

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 1.02 MB

english, 1998

20

Erratum to: Transcranial sonography in pantothenate kinase-associated neurodegeneration

Kostić, Vladimir S., Svetel, Marina, Mijajlović, Milija, Pavlović, Aleksandra, Ječmenica-Lukić, Milica, Kozić, Duško

Journal:

Journal of Neurology

Year:

2012

Language:

english

File:

PDF, 94 KB

english, 2012

21

The activity of antioxidant defence enzymes in the mussel Mytilus galloprovincialis from the Adriatic Sea

Slavica S. Borković, Jelena S. Šaponjić, Sladjan Z. Pavlović, Duško P. Blagojević, Slaviša M. Milošević, Tijana B. Kovačević, Ratko M. Radojičić, Mihajlo B. Spasić, Radoslav V. Žikić, Zorica S. Saičić

Journal:

Comparative Biochemistry and Physiology Part C: Toxicology & Pharmacology

Year:

2005

Language:

english

File:

PDF, 175 KB

english, 2005

22

Adult-onset autosomal dominant leukodystrophy without early autonomic dysfunctions linked to lamin B1 duplication: a phenotypic variant

Ana Potic, Aleksandra M. Pavlovic, Graziella Uziel, Dusko Kozic…

Journal:

Journal of Neurology

Year:

2013

Language:

english

File:

PDF, 328 KB

english, 2013

23

Editorial Board

Blakey, Ed, Coecke, Bob, Mislove, Michael, Pavlovic, Dusko

Journal:

Journal of the American College of Emergency Physicians

Year:

1973

Language:

english

File:

PDF, 61 KB

english, 1973

24

Information Security as a Resource

Blakey, Ed, Coecke, Bob, Mislove, Michael, Pavlovic, Dusko

Journal:

Information and Computation

Year:

2013

Language:

english

File:

PDF, 75 KB

english, 2013

25

Monoidal computer I: Basic computability by string diagrams

Pavlovic, Dusko

Journal:

Information and Computation

Year:

2013

Language:

english

File:

PDF, 489 KB

english, 2013

26

Secure Protocol Composition

Datta, Anupam, Derek, Ante, Mitchell, John C., Pavlovic, Dusko

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 267 KB

english, 2003

27

First findings and prevalence of adult heartworms (Dirofilaria immitis) in wild carnivores from Serbia

Penezić, Aleksandra, Selaković, Sanja, Pavlović, Ivan, Ćirović, Duško

Journal:

Parasitology Research

Year:

2014

Language:

english

File:

PDF, 248 KB

english, 2014

28

[IEEE 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM) - Pisa, Italy (2010.09.13-2010.09.18)] 2010 8th IEEE International Conference on Software Engineering and Formal Methods - The Unreasonable Ineffectiveness of Security Engineering: An Overview

Pavlovic, Dusko

Year:

2010

Language:

english

File:

PDF, 359 KB

english, 2010

29

Ferroelectric nanocomposites of polyvinylidene fluoride/polymethyl methacrylate blend and BaTiO3 particles: Fabrication of β-crystal polymorph rich matrix through mechanical activation of the filler

Mofokeng, Tladi G., Luyt, Adriaan S., Pavlović, Vera P., Pavlović, Vladimir B., Dudić, Duško, Vlahović, Branislav, Djoković, Vladimir

Journal:

Journal of Applied Physics

Year:

2014

Language:

english

File:

PDF, 2.20 MB

english, 2014

30

First records of Dirofilaria repens in wild canids from the region of Central Balkan

Ćirović, Duško, Penezić, Aleksandra, Pavlović, Ivan, Kulišić, Zoran, Ćosić, Nada, Burazerović, Jelena, Maletić, Vladimir

Journal:

Acta Veterinaria Hungarica

Year:

2014

Language:

english

File:

PDF, 662 KB

english, 2014

31

Hippocampal diffusion tensor imaging microstructural changes in vascular dementia

Ostojic, Jelena, Kozic, Dusko, Pavlovic, Aleksandra, Semnic, Marija, Todorovic, Aleksandar, Petrovic, Kosta, Covickovic-Sternic, Nadezda

Journal:

Acta Neurologica Belgica

Year:

2015

Language:

english

File:

PDF, 591 KB

english, 2015

32

A new description of orthogonal bases

COECKE, BOB, PAVLOVIC, DUSKO, VICARY, JAMIE

Journal:

Mathematical Structures in Computer Science

Year:

2013

Language:

english

File:

PDF, 658 KB

english, 2013

33

Predictive genetic markers of coagulation, inflammation and apoptosis in Perthes disease—Serbian experience

Srzentić, Sanja, Nikčević, Gordana, Spasovski, Duško, Baščarević, Zoran, Živković, Zorica, Terzic-Šupić, Zorica, Matanović, Dragana, Djordjević, Valentina, Pavlović, Sonja, Spasovski, Vesna

Journal:

European Journal of Pediatrics

Year:

2015

Language:

english

File:

PDF, 427 KB

english, 2015

34

Introduction to Molecular Genetic Diagnostics / UVOD U MOLEKULARNU GENETIČU DIJAGNOSTIKU

Novaković, Ivana, Maksimović, Nela, Pavlović, Aleksandra, Žarković, Milena, Rovčanin, Branislav, Mirković, Duško, Pekmezović, Tatjana, Cvetković, Dragana

Journal:

Journal of Medical Biochemistry

Year:

2014

Language:

english

File:

PDF, 93 KB

english, 2014

35

[ACM Press the 2003 ACM workshop - Washington, D.C. (2003.10.30-..)] Proceedings of the 2003 ACM workshop on Formal methods in security engineering - FMSE '03 - Secure protocol composition

Datta, Anupam, Derek, Ante, Mitchell, John C., Pavlovic, Dusko

Year:

2003

Language:

english

File:

PDF, 1.18 MB

english, 2003

36

[ACM Press the 2011 workshop - Marin County, California, USA (2011.09.12-2011.09.15)] Proceedings of the 2011 workshop on New security paradigms workshop - NSPW '11 - Gaming security by obscurity

Pavlovic, Dusko

Year:

2011

Language:

english

File:

PDF, 3.62 MB

english, 2011

37

[IEEE 2006 IEEE International Conference on Communications - Istanbul (2006.06.11-2006.06.15)] 2006 IEEE International Conference on Communications - Deriving Secure Network Protocols for Enterprise Services Architectures

Anlauff, Matthias, Pavlovic, Dusko, Suenbuel, Asuman

Year:

2006

Language:

english

File:

PDF, 205 KB

english, 2006

38

Chu I: cofree equivalences, dualities and *-autonomous categories

PAVLOVIĆ, DUŠKO

Journal:

Mathematical Structures in Computer Science

Year:

1997

Language:

english

File:

PDF, 306 KB

english, 1997

39

Intestinal helminth parasites of the grey wolf ( Canis lupus L.) in Serbia

Ćirović, Duško, Pavlović, Ivan, Penezić, Aleksandra

Journal:

Acta Veterinaria Hungarica

Year:

2015

Language:

english

File:

PDF, 1.62 MB

english, 2015

40

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Quotients in monadic programming: Projective algebras are equivalent to coalgebras

Pavlovic, Dusko, Seidel, Peter-Michael

Year:

2017

Language:

english

File:

PDF, 192 KB

english, 2017

41

Smooth coalgebra: testing vector analysis

PAVLOVIC, DUSKO, FAUSER, BERTFRIED

Journal:

Mathematical Structures in Computer Science

Year:

2017

Language:

english

File:

PDF, 416 KB

english, 2017

42

Intra-articular Injection of Autologous Adipose Derived Mesenchymal Stem Cells in Treatment of Knee Osteoarthritis

Spasovski, Duško, Spasovski, Vesna, Baščarević, Zoran, Stojiljković, Maja, Vreća, Miša, Andjelković, Marina, Pavlović, Sonja

Journal:

The Journal of Gene Medicine

Year:

2017

Language:

english

File:

PDF, 1.06 MB

english, 2017

43

A Multisecret Value Access Control Framework for Airliner in Multinational Air Traffic Management

Li, Depeng, Zhang, Rui, Dong, Yingfei, Zhu, Fangjin, Pavlovic, Dusko

Journal:

IEEE Internet of Things Journal

Year:

2017

Language:

english

File:

PDF, 1.15 MB

english, 2017

44

A derivation system and compositional logic for security protocols

Datta, Anupam, Derek, Ante, Mitchell, John C., Pavlovic, Dusko

Journal:

Journal of Computer Security

Year:

2005

Language:

english

File:

PDF, 371 KB

english, 2005

45

A compositional logic for proving security properties of protocols*

Durgin, Nancy, Mitchell, John, Pavlovic, Dusko

Journal:

Journal of Computer Security

Year:

2003

Language:

english

File:

PDF, 328 KB

english, 2003

46

[Lecture Notes in Computer Science] Foundations of Security, Protocols, and Equational Reasoning Volume 11565 (Essays Dedicated to Catherine A. Meadows) || A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols

Guttman, Joshua D., Landwehr, Carl E., Meseguer, José, Pavlovic, Dusko

Year:

2019

Language:

english

File:

PDF, 1.62 MB

english, 2019

47

[Lecture Notes in Computer Science] Foundations of Security, Protocols, and Equational Reasoning Volume 11565 (Essays Dedicated to Catherine A. Meadows) || Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method

Guttman, Joshua D., Landwehr, Carl E., Meseguer, José, Pavlovic, Dusko

Year:

2019

Language:

english

File:

PDF, 435 KB

english, 2019

48

[Lecture Notes in Computer Science] Foundations of Security, Protocols, and Equational Reasoning Volume 11565 (Essays Dedicated to Catherine A. Meadows) || Privacy Protocols

Guttman, Joshua D., Landwehr, Carl E., Meseguer, José, Pavlovic, Dusko

Year:

2019

Language:

english

File:

PDF, 644 KB

english, 2019

49

[Lecture Notes in Computer Science] Foundations of Security, Protocols, and Equational Reasoning Volume 11565 (Essays Dedicated to Catherine A. Meadows) || Key Agreement via Protocols

Guttman, Joshua D., Landwehr, Carl E., Meseguer, José, Pavlovic, Dusko

Year:

2019

Language:

english

File:

PDF, 200 KB

english, 2019

50

[Lecture Notes in Computer Science] Foundations of Security, Protocols, and Equational Reasoning Volume 11565 (Essays Dedicated to Catherine A. Meadows) || A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols

Guttman, Joshua D., Landwehr, Carl E., Meseguer, José, Pavlovic, Dusko

Year:

2019

File:

PDF, 1.62 MB

2019